Kven kan vita?

Vita Summary

Kan Extensions of Institutions

Institutions were introduced by Goguen and Burstall 8, 9, 10, 11] to formally capture the notion of logical system. Interpreting institutions as functors, and morphisms and representations of institutions as natural transformations, we give elegant proofs for the completeness of the categories of institutions with morphisms and representations, respectively, show that the duality between morphi...

Vita: Friedrich Wilhelm Wiener

We report on the life and work of F. Wiener, whom we confused with N. Wiener in a previous article.

Curriculum Vita of James

[1] Professor of Mathematics; University of Vermont, 1999-present. [1] Visiting Associate Professor of Mathematics; Rutgers University (New Brunswick, New Jersey) [on sabbatical from UVM], 1992-1993. [2] Associate Professor of Mathematics; University of Vermont, 1991-1999. [3] Assistant Professor of Mathematics; University of Vermont, 1986-1991. [4] Van Vleck Assistant Professor; University of ...

Computing left Kan extensions

We describe a new extension of the Todd–Coxeter algorithm adapted to computing left Kan extensions. The algorithm is a much simplified version of that introduced by Carmody and Walters (Category Theory, Proceedings of the International Conference Held in Como, Italy, 22–28 July 1990. Springer) in 1991. The simplification allows us to give a straightforward proof of its correctness and terminati...